# CHECK-NOT: AssertionError
